17.26/21.47	unsat
