18.34/18.45	unsat
