5.18/8.40	unsat
