11.79/14.58	unsat
