10.97/12.42	unsat
