19.89/25.32	unsat
