26.69/42.54	unsat
