11.77/12.45	unsat
