5.03/5.18	unsat
