12.55/12.61	unsat
