1.18/1.30	unsat
