13.42/14.48	unsat
