11.84/12.30	unsat
