18.18/24.28	unsat
