20.41/31.45	unsat
