13.78/16.65	unsat
