12.62/15.42	unsat
