5.18/8.12	unsat
