13.48/17.51	unsat
