16.27/17.15	unsat
