18.17/20.15	unsat
