13.26/16.48	unsat
