26.56/32.32	unsat
