11.79/12.10	unsat
