10.32/12.42	unsat
