20.74/25.32	unsat
