11.77/12.62	unsat
