5.18/5.40	unsat
