13.44/15.72	unsat
