14.56/16.32	unsat
